$\forall$$L$:Top List, $n$:$\mathbb{Z}$, $m$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$n$+1}}$. firstn($m$;firstn($n$;$L$)) $\sim$ firstn($m$;$L$)